منابع مشابه
Linearity in Process Languages
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affine-linear logic. This connection yields an affine-linear language for processes, automatically respecting open-map bisimulation, in which a range of process operations can be expressed. An operational semantics is provi...
متن کاملAn Analysis of Process Languages
Process programming represents the application of the software engineering idiom and technology to the development of superior software processes There is a sub stantial and growing body of research into software process technology in general and process programming approaches in particular Much of this research concerns process languages We are now in a position to draw some conclusions about ...
متن کاملTaxonomy of Process Modeling Languages
A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software process, a model must first be built which specifies how the software engineering activity is to be carried out, the roles and task assignments involved, the resources consumed, the tools used, the input and output needed f...
متن کاملQuantum Process Tomography of an Optically-Controlled Kerr Non-linearity
Any optical quantum information processing machine would be comprised of fully-characterized constituent devices for both single state manipulations and tasks involving the interaction between multiple quantum optical states. Ideally for the latter, would be an apparatus capable of deterministic optical phase shifts that operate on input quantum states with the action mediated solely by auxilia...
متن کاملDesign and Fabrication Process of CT number Linearity and Homogeneity Phantom CT Scan
Introduction: One of the most valuable goals of phantoms, replacing with human goals in the field of research and quality control of diagnostic X-ray systems. There are various algorithms and methods for obtaining Homogeneity and CT number linearity for CT scan device. One of the most famous of these methods, the method is to use a uniform and homogeneous environment to comput...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 2002
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v9i48.21763